Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
311	PDF Document Add to Reading List Source URL: cmss.auckland.ac.nz Language: English - Date: 2013-03-26 15:06:24 Automata theory Mathematics Probability space Goodman–Nguyen–van Fraassen algebra Ordinal number Stochastic processes Probability theory
312	DOC Document Add to Reading List Source URL: precedings.nature.com Language: English Bioinformatics Mathematical and theoretical biology Interdisciplinary fields Robert Rosen Systems biology Society for Mathematical Biology Automata theory Biophysics Systems theory Science Biology Knowledge
313	PDF Document Add to Reading List Source URL: hfoss-fossrit.rhcloud.com Language: English - Date: 2014-12-18 00:16:49 Automata theory DEVS Device file Git Dev Repo Apache Subversion HubSpot JQuery Software Computing Computer programming
314	PDF Document Add to Reading List Source URL: people.cs.aau.dk Language: English - Date: 2012-10-25 20:21:20 Symbol Uppaal Model Checker Model theory Models of computation Formal languages Automata theory Model checkers Model checking
315	PDF Document Add to Reading List Source URL: flux.cs.queensu.ca Language: English - Date: 2014-10-30 17:26:17 Software engineering Computing Theoretical computer science Formal methods UML diagrams Model checking Finite-state machine ALGOL 68 UML state machine Models of computation Automata theory Digital electronics
316	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican an Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2013-06-12 10:51:30 Applied mathematics Computer science Model checking Formal verification Finite-state machine Deterministic finite automaton Automated planning and scheduling Uppaal Model Checker Clock Models of computation Automata theory Theoretical computer science
317	PDF Document Add to Reading List Source URL: www.teachingsolutions.com.au Language: English - Date: 2013-07-11 19:32:17 Q-analogs Ring theory Automata theory
318	Oracle Grants Accounting (OGA) Understanding PTAEO Add to Reading List Source URL: www.dartmouth.edu Language: English - Date: 2014-07-16 12:57:58 Automata theory Pattern matching Regular expression Extensible Storage Engine SQL Computing Software engineering Data management
319	Annotating large lattices with the exact word error Rogier C. van Dalen, Mark J. F. Gales Department of Engineering, University of Cambridge, United Kingdom , Abstract Add to Reading List Source URL: mi.eng.cam.ac.uk Language: English - Date: 2015-04-17 05:58:29 Formal methods Computer science Finite state transducer Finite-state machine Semiring Büchi automaton Automata theory Models of computation Theoretical computer science
320	Comparing C Code Trees Dr. Warren Toomey Faculty of IT, Bond Uni Add to Reading List Source URL: minnie.tuhs.org Language: English - Date: 2007-06-03 19:11:09 Automata theory Pattern matching Regular expression Unix C Linux kernel Computing Software Procedural programming languages

UPDATE